ADFD+: An Automatic Testing Technique for Finding and Presenting Failure Domains
نویسندگان
چکیده
منابع مشابه
development and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولFinding Failure Causes through Automated Testing
A program fails. Under which circumstances does this failure occur? One single algorithm, the delta debugging algorithm, suffices to determine these failure-inducing circumstances. Delta debugging tests a program systematically and automatically to isolate failureinducing circumstances such as the program input, changes to the program code, or executed statements.
متن کاملHYPOTHESIS TESTING FOR AN EXCHANGEABLE NORMAL DISTRIBUTION
Consider an exchangeable normal vector with parameters ????2, and ?. On the basis of a vector observation some tests about these parameters are found and their properties are discussed. A simulation study for these tests and a few nonparametric tests are presented. Some advantages and disadvantages of these tests are discussed and a few applications are given.
متن کاملAn Automatic Technique for Static Deadlock Prevention
Deadlocks remain one of the biggest threats to concurrent programming. Usually, the best programmers can expect is dynamic deadlock detection, which is only a palliative. Object-oriented programs, with their rich reference structure and the resulting presence of aliasing, raise additional problems. The technique developed in this paper relies on the “alias calculus” to offer a completely static...
متن کاملAn Automatic Clustering Technique for Optimal Clusters
This paper proposes a simple, automatic and efficient clustering algorithm, namely, Automatic Merging for Optimal Clusters (AMOC) which aims to generate nearly optimal clusters for the given datasets automatically. The AMOC is an extension to standard k-means with a two phase iterative procedure combining certain validation techniques in order to find optimal clusters with automation of merging...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes on Software Engineering
سال: 2014
ISSN: 2301-3559
DOI: 10.7763/lnse.2014.v2.145